$\forall$$A$, $B$, $C$, $D$:Type.
\\[0ex]strong{-}subtype($A$;$C$) $\Rightarrow$ strong{-}subtype($B$;$D$) $\Rightarrow$ strong{-}subtype($A$ + $B$;$C$ + $D$)